Software (Re-)Engineering with PSF III: an IDE for PSF
نویسنده
چکیده
We describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification. Ke ywords: process algebra, software engineering, software architecture, IDE
منابع مشابه
Software (Re-)Engineering with PSF
This paper investigates the usefulness of PSF in software engineering and reengineering. PSF is based on ACP (Algebra of Communicating Processes) and as some architectural description languages are based on process algebra, we investigate whether PSF can be used at the software architecture level, but we also use PSF at lower abstract levels. As a case study we reengineer the compiler from the ...
متن کاملSoftware (Re-)Engineering with PSF II: from architecture to implementation
This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the s...
متن کاملHyperbranched Polymer Integrated Membrane for the Removal of Arsenic(III) in Water
This work demonstrates the synthesis, characterization and application of a hyperbranched polyethyleneimine/polysulfone (HPEI/PSf) thin fi lm composite (TFC) membrane. The membrane was accessed via an interfacial polymerization of trimesoyl chloride and HPEI. The membrane samples were characterized by Fourier Transform Infrared-Attenuated Total Refl ectance (FTIR-ATR) s...
متن کاملPhotocatalysts in Polysulfone Membrane for the Removal of Humic Acid: The Effects of PVP and PVA on Membrane Morphology, Separation Performance and Catalytic Hindrance
Photocatalytic membranes exhibit great potential for water treatment since they combine the filtration and photo degradation in a single unit. Although blending photocatalytic nanoparticles into polymeric thin film remains the simplest method to prepare the photocatalytic membrane, the entrapped photocatalyst showed less catalytic activity due to the agglomeration and shielding effects in the p...
متن کاملHydrophobicity Properties of Graphite and Reduced Graphene Oxide of The Polysulfone (PSf) Mixed Matrix Membrane
Hydrophobicity properties of graphite and green synthesized graphene (gsG) from exfoliated graphite/GO towards polymer membrane characteristic and properties at different weight percentage concentrations (1, 2, 3, 4 and 5 wt. %) were investigated. PSf/graphite and PSf/gsG membranes were characterized in term of hydrophobicity, surface bonding, surface roughness and porosity. FTIR peaks revealed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0712.3128 شماره
صفحات -
تاریخ انتشار 2007